翻訳と辞書 Words near each other ・ End (graph theory) ・ End (gridiron football) ・ End (topology) ・ End All Life Productions ・ End around ・ End Around (submarine tactic) ・ End artery ・ End Blood ・ End Child Poverty coalition ・ End Conscription Campaign ・ End correction ・ End Credits ・ End Day ・ End distortion ・ End Ever ・ End extension ・ End face mechanical seal ・ End Game (2006 film) ・ End Game (The X-Files) ・ End Games ・ End Hill ・ End Hits ・ End Human Trafficking Now ・ End in Tears ・ End instrument ・ End Is Forever ・ End It All ・ End key ・ End Like This ・ End Love Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク End extension ： ウィキペディア英語版 End extension In model theory and set theory, which are disciplines within mathematics, a model $\backslash mathfrak=\backslash langle\; B,\; F\backslash rangle$ of some axiom system of set theory $T\backslash ,$ in the language of set theory is an end extension of $\backslash mathfrak=\backslash langle\; A,\; E\backslash rangle$, in symbols $\backslash mathfrak\backslash subseteq\_\backslash text\backslash mathfrak$, if * $\backslash mathfrak$ is a substructure of $\backslash mathfrak$, and * $b\backslash in\; A$ whenever $a\backslash in\; A$ and $bFa\backslash ,$ hold, i.e., no new elements are added by $\backslash mathfrak$ to the elements of $\backslash mathfrak$. The following is an equivalent definition of end extension: $\backslash mathfrak$ is a substructure of $\backslash mathfrak$, and $\backslash =\backslash$ for all $a\backslash in\; A$. For example, $\backslash langle\; B,\; \backslash in\backslash rangle$ is an end extension of $\backslash langle\; A,\; \backslash in\backslash rangle$ if $A\backslash ,$ and $B\backslash ,$ are transitive sets, and $A\backslash subseteq\; B$. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「End extension」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.